Program Analysis with Dynamic Precision Adjustment ∗ Dirk Beyer Simon Fraser University, Canada Thomas A. Henzinger EPFL, Switzerland

Source URL: www.sosy-lab.org

• Formal methods
• Mathematical logic
• Function
• Predicate transformer semantics
• Floating point
• Abstract interpretation
• Predicate
• Quantification
• Prime-counting function
• Mathematics
• Logic
• Semantics

EUROPEAN COMMISSION DIRECTORATE-GENERAL TAXATION AND CUSTOMS UNION Resources Customs systems & IT operations

Source URL: ec.europa.eu

• Database
• Information technology management
• Data management
• Business
• Data model
• CICS
• Software metrics
• Function point
• Software sizing

A Logical Basis for the D Combinator and Normal Form in CCG Frederick Hoyt and Jason Baldridge The Department of Linguistics The University of Texas at Austin {fmhoyt,jbaldrid}@mail.utexas.edu

Source URL: fmhoyt.colliertech.org

• Mathematical logic
• Lambda calculus
• Formal languages
• Combinatory categorial grammar
• Categorial grammar
• Fixed-point combinator
• Functor
• Syntax
• Function
• Mathematics
• Theoretical computer science
• Combinatory logic

Gestione delle misurazioni in Function Point – FPManager Marino Quirico 2

Source URL: www.tecnetdati.com

Difference Equations to Differential Equations Section 3.8 Finding Maximum and

Source URL: de2de.synechism.org

• Differential calculus
• Functions and mappings
• Mathematical optimization
• Maxima and minima
• First derivative test
• Continuous function
• Second derivative test
• Derivative
• Stationary point
• Mathematical analysis
• Mathematics
• Calculus

The Auk 124(2):653–664, 2007 © The American Ornithologists’ Union, 2007. Printed in USA. TIME-OF-DETECTION METHOD FOR ESTIMATING ABUNDANCE FROM POINT-COUNT SURVEYS

Source URL: www4.ncsu.edu

• Data
• Bayesian statistics
• Maximum likelihood
• Statistical theory
• Statistics
• Likelihood function
• Probability distribution
• Information
• Estimation theory
• Science

Vectorial point spread function and optical transfer function in oblique plane imaging Jeongmin Kim,1,3 Tongcang Li,2,3 Yuan Wang,2,3 and Xiang Zhang1,2,3,* 1 Department of Mechanical Engineering, University of Californi

Source URL: xlab.me.berkeley.edu

• Electromagnetic radiation
• Point spread function
• Fourier optics
• Optical resolution
• Diffraction
• Numerical aperture
• Angular resolution
• Polar coordinate system
• Spherical coordinate system
• Optics
• Physics
• Atomic
• molecular
• and optical physics

Difference Equations to Differential Equations Section 3.9 The Geometry of Graphs

Source URL: de2de.synechism.org

• Convex analysis
• Functions and mappings
• Analytic geometry
• Convex function
• Concave function
• Asymptote
• Derivative
• Second derivative
• Inflection point
• Mathematical analysis
• Mathematics
• Differential calculus

Microsoft Word - R265_Cost of Speed - Pam Morris V1.0.doc

Source URL: www.totalmetrics.com

• Business
• Science
• Function point
• Benchmarking
• IFPUG
• Productivity
• Software development process
• Technology
• Software metrics
• Information technology management

International Journal of Electronics Communication and Computer Engineering Volume 5, Issue 2, ISSN (Online): 2249–071X, ISSN (Print): 2278–4209 Estimated SW Costing by using FPA in Early Phase of SW Development Saim

Source URL: ijecce.org

• Information technology management
• Software development effort estimation
• Software project management
• Software sizing
• COCOMO
• Function point
• Cost estimation in software engineering
• Estimation
• Software development process
• Software metrics
• Software development
• Project management